$\forall$$A$:Realizer. R{-}Feasible($A$) $\Rightarrow$ R{-}self{-}interface($A$)